; ModuleID = 'sample3-virt-nested-vm-2.ll'
source_filename = "sample3-virt-nested-vm-2.ll"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"

; Function Attrs: nounwind readnone
define i128 @SECRET(i64 %SymVar_0) local_unnamed_addr #0 {
.3:
  %.4 = lshr i64 %SymVar_0, 32
  %.5 = trunc i64 %.4 to i32
  %.30 = trunc i64 %SymVar_0 to i32
  %.73 = add i32 %.30, -680876937
  %.84 = lshr i32 %.73, 25
  %.124 = shl i32 %.73, 7
  %.135 = or i32 %.84, %.124
  %.144 = add i32 %.135, -271733879
  %.204 = sub i32 271733878, %.135
  %.213 = and i32 %.204, -1732584194
  %.231 = and i32 %.144, -271733879
  %.240 = or i32 %.213, %.231
  %.266 = add i32 %.5, -117830708
  %.275 = add i32 %.266, %.240
  %.286 = lshr i32 %.275, 20
  %.353 = shl i32 %.275, 12
  %.364 = or i32 %.286, %.353
  %.382 = add i32 %.364, %.144
  %.399 = and i32 %.382, -271733879
  %.408 = xor i32 %.399, -271733879
  %.435 = and i32 %.382, %.144
  %.444 = or i32 %.408, %.435
  %.479 = add i32 %.444, -1126478247
  %.490 = lshr i32 %.479, 15
  %.539 = shl i32 %.479, 17
  %.550 = or i32 %.490, %.539
  %.568 = add i32 %.550, %.382
  %.585 = xor i32 %.568, -1
  %.594 = and i32 %.144, %.585
  %.629 = and i32 %.568, %.382
  %.638 = or i32 %.594, %.629
  %.664 = add i32 %.638, -1316259209
  %.684 = lshr i32 %.664, 10
  %.733 = shl i32 %.664, 22
  %.744 = or i32 %.684, %.733
  %.762 = add i32 %.744, %.568
  %.846 = xor i32 %.762, -1
  %.855 = and i32 %.382, %.846
  %.882 = and i32 %.762, %.568
  %.891 = or i32 %.855, %.882
  %.933 = add i32 %.135, -448152776
  %.942 = add i32 %.933, %.891
  %.962 = lshr i32 %.942, 25
  %.1020 = shl i32 %.942, 7
  %.1031 = or i32 %.962, %.1020
  %.1049 = add i32 %.1031, %.762
  %.1066 = xor i32 %.1049, -1
  %.1075 = and i32 %.568, %.1066
  %.1102 = and i32 %.1049, %.762
  %.1111 = or i32 %.1075, %.1102
  %.1153 = add i32 %.382, 1200080426
  %.1162 = add i32 %.1153, %.1111
  %.1182 = lshr i32 %.1162, 20
  %.1240 = shl i32 %.1162, 12
  %.1251 = or i32 %.1182, %.1240
  %.1269 = add i32 %.1251, %.1049
  %.1286 = xor i32 %.1269, -1
  %.1295 = and i32 %.762, %.1286
  %.1330 = and i32 %.1269, %.1049
  %.1339 = or i32 %.1295, %.1330
  %.1381 = add i32 %.568, -1473231341
  %.1390 = add i32 %.1381, %.1339
  %.1410 = lshr i32 %.1390, 15
  %.1468 = shl i32 %.1390, 17
  %.1479 = or i32 %.1410, %.1468
  %.1497 = add i32 %.1479, %.1269
  %.1581 = xor i32 %.1497, -1
  %.1590 = and i32 %.1049, %.1581
  %.1617 = and i32 %.1497, %.1269
  %.1626 = or i32 %.1590, %.1617
  %.1668 = add i32 %.762, -45705983
  %.1677 = add i32 %.1668, %.1626
  %.1697 = lshr i32 %.1677, 10
  %.1755 = shl i32 %.1677, 22
  %.1766 = or i32 %.1697, %.1755
  %.1784 = add i32 %.1766, %.1497
  %.1801 = xor i32 %.1784, -1
  %.1810 = and i32 %.1269, %.1801
  %.1837 = and i32 %.1784, %.1497
  %.1846 = or i32 %.1810, %.1837
  %.1888 = add i32 %.1049, 1770035416
  %.1897 = add i32 %.1888, %.1846
  %.1917 = lshr i32 %.1897, 25
  %.1975 = shl i32 %.1897, 7
  %.1986 = or i32 %.1917, %.1975
  %.2004 = add i32 %.1986, %.1784
  %.2021 = xor i32 %.2004, -1
  %.2030 = and i32 %.1497, %.2021
  %.2065 = and i32 %.2004, %.1784
  %.2074 = or i32 %.2030, %.2065
  %.2116 = add i32 %.1269, -1958414417
  %.2125 = add i32 %.2116, %.2074
  %.2145 = lshr i32 %.2125, 20
  %.2203 = shl i32 %.2125, 12
  %.2214 = or i32 %.2145, %.2203
  %.2232 = add i32 %.2214, %.2004
  %.2316 = xor i32 %.2232, -1
  %.2325 = and i32 %.1784, %.2316
  %.2352 = and i32 %.2232, %.2004
  %.2361 = or i32 %.2325, %.2352
  %.2403 = add i32 %.1497, -42063
  %.2412 = add i32 %.2403, %.2361
  %.2432 = lshr i32 %.2412, 15
  %.2490 = shl i32 %.2412, 17
  %.2501 = or i32 %.2432, %.2490
  %.2519 = add i32 %.2501, %.2232
  %.2536 = xor i32 %.2519, -1
  %.2545 = and i32 %.2004, %.2536
  %.2572 = and i32 %.2519, %.2232
  %.2581 = or i32 %.2545, %.2572
  %.2623 = add i32 %.1784, -1990404162
  %.2632 = add i32 %.2623, %.2581
  %.2652 = lshr i32 %.2632, 10
  %.2710 = shl i32 %.2632, 22
  %.2721 = or i32 %.2652, %.2710
  %.2739 = add i32 %.2721, %.2519
  %.2756 = xor i32 %.2739, -1
  %.2765 = and i32 %.2232, %.2756
  %.2800 = and i32 %.2739, %.2519
  %.2809 = or i32 %.2765, %.2800
  %.2851 = add i32 %.2004, 1804603682
  %.2860 = add i32 %.2851, %.2809
  %.2880 = lshr i32 %.2860, 25
  %.2938 = shl i32 %.2860, 7
  %.2949 = or i32 %.2880, %.2938
  %.2967 = add i32 %.2949, %.2739
  %.3051 = xor i32 %.2967, -1
  %.3060 = and i32 %.2519, %.3051
  %.3087 = and i32 %.2967, %.2739
  %.3096 = or i32 %.3060, %.3087
  %.3138 = add i32 %.2232, -40341101
  %.3147 = add i32 %.3138, %.3096
  %.3167 = lshr i32 %.3147, 20
  %.3225 = shl i32 %.3147, 12
  %.3236 = or i32 %.3167, %.3225
  %.3254 = add i32 %.3236, %.2967
  %.3271 = xor i32 %.3254, -1
  %.3280 = and i32 %.2739, %.3271
  %.3307 = and i32 %.3254, %.2967
  %.3316 = or i32 %.3280, %.3307
  %.3358 = add i32 %.2519, -1502002226
  %.3376 = add i32 %.3358, %.3316
  %.3387 = lshr i32 %.3376, 15
  %.3445 = shl i32 %.3376, 17
  %.3456 = or i32 %.3387, %.3445
  %.3474 = add i32 %.3456, %.3254
  %.3491 = xor i32 %.3474, -1
  %.3500 = and i32 %.2967, %.3491
  %.3535 = and i32 %.3474, %.3254
  %.3544 = or i32 %.3500, %.3535
  %.3586 = add i32 %.2739, 1236535329
  %.3595 = add i32 %.3586, %.3544
  %.3615 = lshr i32 %.3595, 10
  %.3673 = shl i32 %.3595, 22
  %.3684 = or i32 %.3615, %.3673
  %.3702 = add i32 %.3684, %.3474
  %.3761 = and i32 %.3702, %.3491
  %.3823 = and i32 %.3474, %.3271
  %.3850 = and i32 %.3702, %.3254
  %.3859 = or i32 %.3850, %.3823
  %.3901 = add i32 %.5, -165796510
  %.3910 = add i32 %.3901, %.2967
  %.3919 = add i32 %.3910, %.3859
  %.3930 = lshr i32 %.3919, 27
  %.4006 = shl i32 %.3919, 5
  %.4017 = or i32 %.3930, %.4006
  %.4035 = add i32 %.4017, %.3702
  %.4061 = and i32 %.4035, %.3474
  %.4070 = or i32 %.4061, %.3761
  %.4112 = add i32 %.3254, -1069501632
  %.4121 = add i32 %.4112, %.4070
  %.4141 = lshr i32 %.4121, 23
  %.4199 = shl i32 %.4121, 9
  %.4210 = or i32 %.4141, %.4199
  %.4228 = add i32 %.4210, %.4035
  %.4278 = xor i32 %.4035, -1
  %.4287 = and i32 %.4228, %.4278
  %.4322 = xor i32 %.3702, -1
  %.4331 = and i32 %.4035, %.4322
  %.4358 = and i32 %.4228, %.3702
  %.4367 = or i32 %.4358, %.4331
  %.4409 = add i32 %.3474, 643717713
  %.4418 = add i32 %.4409, %.4367
  %.4438 = lshr i32 %.4418, 18
  %.4496 = shl i32 %.4418, 14
  %.4507 = or i32 %.4438, %.4496
  %.4525 = add i32 %.4507, %.4228
  %.4551 = and i32 %.4525, %.4035
  %.4560 = or i32 %.4551, %.4287
  %.4602 = add i32 %.30, -373897302
  %.4611 = add i32 %.4602, %.3702
  %.4620 = add i32 %.4611, %.4560
  %.4631 = lshr i32 %.4620, 12
  %.4707 = shl i32 %.4620, 20
  %.4718 = or i32 %.4631, %.4707
  %.4736 = add i32 %.4718, %.4525
  %.4786 = xor i32 %.4525, -1
  %.4795 = and i32 %.4736, %.4786
  %.4830 = xor i32 %.4228, -1
  %.4839 = and i32 %.4525, %.4830
  %.4866 = and i32 %.4736, %.4228
  %.4875 = or i32 %.4866, %.4839
  %.4917 = add i32 %.4035, -701558691
  %.4926 = add i32 %.4917, %.4875
  %.4946 = lshr i32 %.4926, 27
  %.5004 = shl i32 %.4926, 5
  %.5015 = or i32 %.4946, %.5004
  %.5033 = add i32 %.5015, %.4736
  %.5059 = and i32 %.5033, %.4525
  %.5068 = or i32 %.5059, %.4795
  %.5110 = add i32 %.4228, 38016083
  %.5119 = add i32 %.5110, %.5068
  %.5139 = lshr i32 %.5119, 23
  %.5197 = shl i32 %.5119, 9
  %.5208 = or i32 %.5139, %.5197
  %.5226 = add i32 %.5208, %.5033
  %.5276 = xor i32 %.5033, -1
  %.5285 = and i32 %.5226, %.5276
  %.5320 = xor i32 %.4736, -1
  %.5329 = and i32 %.5033, %.5320
  %.5356 = and i32 %.5226, %.4736
  %.5365 = or i32 %.5356, %.5329
  %.5407 = add i32 %.4525, -660478335
  %.5416 = add i32 %.5407, %.5365
  %.5436 = lshr i32 %.5416, 18
  %.5494 = shl i32 %.5416, 14
  %.5505 = or i32 %.5436, %.5494
  %.5523 = add i32 %.5505, %.5226
  %.5549 = and i32 %.5523, %.5033
  %.5558 = or i32 %.5549, %.5285
  %.5600 = add i32 %.4736, -405537848
  %.5609 = add i32 %.5600, %.5558
  %.5629 = lshr i32 %.5609, 12
  %.5687 = shl i32 %.5609, 20
  %.5698 = or i32 %.5629, %.5687
  %.5716 = add i32 %.5698, %.5523
  %.5766 = xor i32 %.5523, -1
  %.5775 = and i32 %.5716, %.5766
  %.5810 = xor i32 %.5226, -1
  %.5819 = and i32 %.5523, %.5810
  %.5846 = and i32 %.5716, %.5226
  %.5855 = or i32 %.5846, %.5819
  %.5897 = add i32 %.5033, 568446438
  %.5906 = add i32 %.5897, %.5855
  %.5926 = lshr i32 %.5906, 27
  %.5984 = shl i32 %.5906, 5
  %.5995 = or i32 %.5926, %.5984
  %.6013 = add i32 %.5995, %.5716
  %.6039 = and i32 %.6013, %.5523
  %.6048 = or i32 %.6039, %.5775
  %.6090 = add i32 %.5226, -1019803626
  %.6108 = add i32 %.6090, %.6048
  %.6119 = lshr i32 %.6108, 23
  %.6177 = shl i32 %.6108, 9
  %.6188 = or i32 %.6119, %.6177
  %.6206 = add i32 %.6188, %.6013
  %.6256 = xor i32 %.6013, -1
  %.6265 = and i32 %.6206, %.6256
  %.6300 = xor i32 %.5716, -1
  %.6309 = and i32 %.6013, %.6300
  %.6336 = and i32 %.6206, %.5716
  %.6345 = or i32 %.6336, %.6309
  %.6387 = add i32 %.5523, -187363961
  %.6396 = add i32 %.6387, %.6345
  %.6416 = lshr i32 %.6396, 18
  %.6474 = shl i32 %.6396, 14
  %.6485 = or i32 %.6416, %.6474
  %.6503 = add i32 %.6485, %.6206
  %.6529 = and i32 %.6503, %.6013
  %.6538 = or i32 %.6529, %.6265
  %.6580 = add i32 %.5716, 1163531501
  %.6589 = add i32 %.6580, %.6538
  %.6609 = lshr i32 %.6589, 12
  %.6667 = shl i32 %.6589, 20
  %.6678 = or i32 %.6609, %.6667
  %.6696 = add i32 %.6678, %.6503
  %.6746 = xor i32 %.6503, -1
  %.6755 = and i32 %.6696, %.6746
  %.6790 = xor i32 %.6206, -1
  %.6799 = and i32 %.6503, %.6790
  %.6826 = and i32 %.6696, %.6206
  %.6835 = or i32 %.6826, %.6799
  %.6877 = add i32 %.6013, -1444681467
  %.6886 = add i32 %.6877, %.6835
  %.6906 = lshr i32 %.6886, 27
  %.6964 = shl i32 %.6886, 5
  %.6975 = or i32 %.6906, %.6964
  %.6993 = add i32 %.6975, %.6696
  %.7019 = and i32 %.6993, %.6503
  %.7028 = or i32 %.7019, %.6755
  %.7070 = add i32 %.6206, -51403656
  %.7088 = add i32 %.7070, %.7028
  %.7099 = lshr i32 %.7088, 23
  %.7157 = shl i32 %.7088, 9
  %.7168 = or i32 %.7099, %.7157
  %.7186 = add i32 %.7168, %.6993
  %.7236 = xor i32 %.6993, -1
  %.7245 = and i32 %.7186, %.7236
  %.7280 = xor i32 %.6696, -1
  %.7289 = and i32 %.6993, %.7280
  %.7316 = and i32 %.7186, %.6696
  %.7325 = or i32 %.7316, %.7289
  %.7367 = add i32 %.6503, 1735328473
  %.7376 = add i32 %.7367, %.7325
  %.7396 = lshr i32 %.7376, 18
  %.7454 = shl i32 %.7376, 14
  %.7465 = or i32 %.7396, %.7454
  %.7483 = add i32 %.7465, %.7186
  %.7509 = and i32 %.7483, %.6993
  %.7518 = or i32 %.7509, %.7245
  %.7560 = add i32 %.6696, -1926607734
  %.7569 = add i32 %.7560, %.7518
  %.7589 = lshr i32 %.7569, 12
  %.7647 = shl i32 %.7569, 20
  %.7658 = or i32 %.7589, %.7647
  %.7676 = add i32 %.7658, %.7483
  %.7752 = xor i32 %.7483, %.7186
  %.7761 = xor i32 %.7752, %.7676
  %.7803 = add i32 %.6993, -378558
  %.7812 = add i32 %.7803, %.7761
  %.7832 = lshr i32 %.7812, 28
  %.7890 = shl i32 %.7812, 4
  %.7901 = or i32 %.7832, %.7890
  %.7919 = add i32 %.7901, %.7676
  %.7979 = xor i32 %.7676, %.7483
  %.7988 = xor i32 %.7979, %.7919
  %.8030 = add i32 %.7186, -2022574463
  %.8039 = add i32 %.8030, %.7988
  %.8059 = lshr i32 %.8039, 21
  %.8117 = shl i32 %.8039, 11
  %.8128 = or i32 %.8059, %.8117
  %.8146 = add i32 %.8128, %.7919
  %.8163 = xor i32 %.7919, %.7676
  %.8172 = xor i32 %.8163, %.8146
  %.8214 = add i32 %.7483, 1839030562
  %.8223 = add i32 %.8214, %.8172
  %.8243 = lshr i32 %.8223, 16
  %.8301 = shl i32 %.8223, 16
  %.8312 = or i32 %.8243, %.8301
  %.8330 = add i32 %.8312, %.8146
  %.8406 = xor i32 %.8146, %.7919
  %.8415 = xor i32 %.8406, %.8330
  %.8457 = add i32 %.7676, -35309492
  %.8475 = add i32 %.8457, %.8415
  %.8486 = lshr i32 %.8475, 9
  %.8544 = shl i32 %.8475, 23
  %.8555 = or i32 %.8486, %.8544
  %.8573 = add i32 %.8555, %.8330
  %.8651 = xor i32 %.8330, %.8146
  %.8660 = xor i32 %.8651, %.8573
  %.8702 = add i32 %.5, -1530992060
  %.8711 = add i32 %.8702, %.7919
  %.8720 = add i32 %.8711, %.8660
  %.8731 = lshr i32 %.8720, 28
  %.8807 = shl i32 %.8720, 4
  %.8818 = or i32 %.8731, %.8807
  %.8836 = add i32 %.8818, %.8573
  %.8853 = xor i32 %.8573, %.8330
  %.8862 = xor i32 %.8853, %.8836
  %.8904 = add i32 %.8146, 1272893353
  %.8913 = add i32 %.8904, %.8862
  %.8933 = lshr i32 %.8913, 21
  %.8991 = shl i32 %.8913, 11
  %.9002 = or i32 %.8933, %.8991
  %.9020 = add i32 %.9002, %.8836
  %.9096 = xor i32 %.8836, %.8573
  %.9105 = xor i32 %.9096, %.9020
  %.9147 = add i32 %.8330, -155497632
  %.9156 = add i32 %.9147, %.9105
  %.9176 = lshr i32 %.9156, 16
  %.9234 = shl i32 %.9156, 16
  %.9245 = or i32 %.9176, %.9234
  %.9263 = add i32 %.9245, %.9020
  %.9323 = xor i32 %.9020, %.8836
  %.9332 = xor i32 %.9323, %.9263
  %.9374 = add i32 %.8573, -1094730640
  %.9383 = add i32 %.9374, %.9332
  %.9403 = lshr i32 %.9383, 9
  %.9461 = shl i32 %.9383, 23
  %.9472 = or i32 %.9403, %.9461
  %.9490 = add i32 %.9472, %.9263
  %.9507 = xor i32 %.9263, %.9020
  %.9516 = xor i32 %.9507, %.9490
  %.9558 = add i32 %.8836, 681279174
  %.9567 = add i32 %.9558, %.9516
  %.9587 = lshr i32 %.9567, 28
  %.9645 = shl i32 %.9567, 4
  %.9656 = or i32 %.9587, %.9645
  %.9674 = add i32 %.9656, %.9490
  %.9768 = xor i32 %.9490, %.9263
  %.9777 = xor i32 %.9768, %.9674
  %.9819 = add i32 %.30, -358537222
  %.9828 = add i32 %.9819, %.9020
  %.9837 = add i32 %.9828, %.9777
  %.9848 = lshr i32 %.9837, 21
  %.9924 = shl i32 %.9837, 11
  %.9935 = or i32 %.9848, %.9924
  %.9953 = add i32 %.9935, %.9674
  %.10013 = xor i32 %.9674, %.9490
  %.10022 = xor i32 %.10013, %.9953
  %.10064 = add i32 %.9263, -722521979
  %.10073 = add i32 %.10064, %.10022
  %.10093 = lshr i32 %.10073, 16
  %.10151 = shl i32 %.10073, 16
  %.10162 = or i32 %.10093, %.10151
  %.10180 = add i32 %.10162, %.9953
  %.10197 = xor i32 %.9953, %.9674
  %.10206 = xor i32 %.10197, %.10180
  %.10248 = add i32 %.9490, 76029189
  %.10257 = add i32 %.10248, %.10206
  %.10277 = lshr i32 %.10257, 9
  %.10335 = shl i32 %.10257, 23
  %.10346 = or i32 %.10277, %.10335
  %.10364 = add i32 %.10346, %.10180
  %.10440 = xor i32 %.10180, %.9953
  %.10449 = xor i32 %.10440, %.10364
  %.10491 = add i32 %.9674, -640364487
  %.10500 = add i32 %.10491, %.10449
  %.10520 = lshr i32 %.10500, 28
  %.10578 = shl i32 %.10500, 4
  %.10589 = or i32 %.10520, %.10578
  %.10607 = add i32 %.10589, %.10364
  %.10667 = xor i32 %.10364, %.10180
  %.10676 = xor i32 %.10667, %.10607
  %.10718 = add i32 %.9953, -421815835
  %.10727 = add i32 %.10718, %.10676
  %.10747 = lshr i32 %.10727, 21
  %.10805 = shl i32 %.10727, 11
  %.10816 = or i32 %.10747, %.10805
  %.10834 = add i32 %.10816, %.10607
  %.10851 = xor i32 %.10607, %.10364
  %.10860 = xor i32 %.10851, %.10834
  %.10902 = add i32 %.10180, 530742520
  %.10911 = add i32 %.10902, %.10860
  %.10931 = lshr i32 %.10911, 16
  %.10989 = shl i32 %.10911, 16
  %.11000 = or i32 %.10931, %.10989
  %.11018 = add i32 %.11000, %.10834
  %.11051 = xor i32 %.11018, -1
  %.11103 = xor i32 %.10834, -1
  %.11147 = xor i32 %.10834, %.10607
  %.11156 = xor i32 %.11147, %.11018
  %.11198 = add i32 %.10364, -995338523
  %.11216 = add i32 %.11198, %.11156
  %.11227 = lshr i32 %.11216, 9
  %.11285 = shl i32 %.11216, 23
  %.11296 = or i32 %.11227, %.11285
  %.11314 = add i32 %.11296, %.11018
  %.11331 = or i32 %.11314, %.11103
  %.11349 = xor i32 %.11331, %.11018
  %.11391 = add i32 %.30, -198630844
  %.11400 = add i32 %.11391, %.10607
  %.11409 = add i32 %.11400, %.11349
  %.11420 = lshr i32 %.11409, 26
  %.11496 = shl i32 %.11409, 6
  %.11507 = or i32 %.11420, %.11496
  %.11525 = add i32 %.11507, %.11314
  %.11542 = or i32 %.11525, %.11051
  %.11568 = xor i32 %.11542, %.11314
  %.11610 = add i32 %.10834, 1126891415
  %.11619 = add i32 %.11610, %.11568
  %.11639 = lshr i32 %.11619, 22
  %.11697 = shl i32 %.11619, 10
  %.11708 = or i32 %.11639, %.11697
  %.11726 = add i32 %.11708, %.11525
  %.11759 = xor i32 %.11726, -1
  %.11793 = xor i32 %.11525, -1
  %.11819 = xor i32 %.11314, -1
  %.11837 = or i32 %.11726, %.11819
  %.11855 = xor i32 %.11837, %.11525
  %.11897 = add i32 %.11018, -1416354841
  %.11915 = add i32 %.11897, %.11855
  %.11926 = lshr i32 %.11915, 17
  %.11984 = shl i32 %.11915, 15
  %.11995 = or i32 %.11926, %.11984
  %.12013 = add i32 %.11995, %.11726
  %.12030 = or i32 %.12013, %.11793
  %.12048 = xor i32 %.12030, %.11726
  %.12090 = add i32 %.11314, -57434055
  %.12099 = add i32 %.12090, %.12048
  %.12119 = lshr i32 %.12099, 11
  %.12177 = shl i32 %.12099, 21
  %.12188 = or i32 %.12119, %.12177
  %.12206 = add i32 %.12188, %.12013
  %.12223 = or i32 %.12206, %.11759
  %.12249 = xor i32 %.12223, %.12013
  %.12291 = add i32 %.11525, 1700485571
  %.12300 = add i32 %.12291, %.12249
  %.12320 = lshr i32 %.12300, 26
  %.12378 = shl i32 %.12300, 6
  %.12389 = or i32 %.12320, %.12378
  %.12407 = add i32 %.12389, %.12206
  %.12440 = xor i32 %.12407, -1
  %.12474 = xor i32 %.12206, -1
  %.12500 = xor i32 %.12013, -1
  %.12518 = or i32 %.12407, %.12500
  %.12536 = xor i32 %.12518, %.12206
  %.12578 = add i32 %.11726, -1894986606
  %.12587 = add i32 %.12578, %.12536
  %.12607 = lshr i32 %.12587, 22
  %.12665 = shl i32 %.12587, 10
  %.12676 = or i32 %.12607, %.12665
  %.12694 = add i32 %.12676, %.12407
  %.12711 = or i32 %.12694, %.12474
  %.12729 = xor i32 %.12711, %.12407
  %.12771 = add i32 %.12013, -1051523
  %.12780 = add i32 %.12771, %.12729
  %.12800 = lshr i32 %.12780, 17
  %.12858 = shl i32 %.12780, 15
  %.12869 = or i32 %.12800, %.12858
  %.12887 = add i32 %.12869, %.12694
  %.12904 = or i32 %.12887, %.12440
  %.12930 = xor i32 %.12904, %.12694
  %.12972 = add i32 %.5, -2054922799
  %.12981 = add i32 %.12972, %.12206
  %.12990 = add i32 %.12981, %.12930
  %.13001 = lshr i32 %.12990, 11
  %.13077 = shl i32 %.12990, 21
  %.13088 = or i32 %.13001, %.13077
  %.13106 = add i32 %.13088, %.12887
  %.13139 = xor i32 %.13106, -1
  %.13173 = xor i32 %.12887, -1
  %.13199 = xor i32 %.12694, -1
  %.13217 = or i32 %.13106, %.13199
  %.13235 = xor i32 %.13217, %.12887
  %.13277 = add i32 %.12407, 1873313359
  %.13286 = add i32 %.13277, %.13235
  %.13306 = lshr i32 %.13286, 26
  %.13364 = shl i32 %.13286, 6
  %.13375 = or i32 %.13306, %.13364
  %.13393 = add i32 %.13375, %.13106
  %.13410 = or i32 %.13393, %.13173
  %.13428 = xor i32 %.13410, %.13106
  %.13470 = add i32 %.12694, -30611744
  %.13479 = add i32 %.13470, %.13428
  %.13499 = lshr i32 %.13479, 22
  %.13557 = shl i32 %.13479, 10
  %.13568 = or i32 %.13499, %.13557
  %.13586 = add i32 %.13568, %.13393
  %.13603 = or i32 %.13586, %.13139
  %.13629 = xor i32 %.13603, %.13393
  %.13671 = add i32 %.12887, -1560198380
  %.13680 = add i32 %.13671, %.13629
  %.13700 = lshr i32 %.13680, 17
  %.13758 = shl i32 %.13680, 15
  %.13769 = or i32 %.13700, %.13758
  %.13787 = add i32 %.13769, %.13586
  %.13820 = xor i32 %.13787, -1
  %.13854 = xor i32 %.13586, -1
  %.13880 = xor i32 %.13393, -1
  %.13898 = or i32 %.13787, %.13880
  %.13916 = xor i32 %.13898, %.13586
  %.13958 = add i32 %.13106, 1309151649
  %.13967 = add i32 %.13958, %.13916
  %.13987 = lshr i32 %.13967, 11
  %.14045 = shl i32 %.13967, 21
  %.14056 = or i32 %.13987, %.14045
  %.14074 = add i32 %.14056, %.13787
  %.14091 = or i32 %.14074, %.13854
  %.14109 = xor i32 %.14091, %.13787
  %.14151 = add i32 %.13393, -145523070
  %.14160 = add i32 %.14151, %.14109
  %.14180 = lshr i32 %.14160, 26
  %.14238 = shl i32 %.14160, 6
  %.14249 = or i32 %.14180, %.14238
  %.14267 = add i32 %.14249, %.14074
  %.14284 = or i32 %.14267, %.13820
  %.14310 = xor i32 %.14284, %.14074
  %.14352 = add i32 %.13586, -1120210379
  %.14361 = add i32 %.14352, %.14310
  %.14381 = lshr i32 %.14361, 22
  %.14439 = shl i32 %.14361, 10
  %.14450 = or i32 %.14381, %.14439
  %.14468 = add i32 %.14450, %.14267
  %.14501 = add i32 %.14468, 271733878
  %.1455717 = tail call i32 @llvm.bswap.i32(i32 %.14501)
  %.14557 = zext i32 %.1455717 to i128
  %.14575 = xor i32 %.14074, -1
  %.14593 = or i32 %.14468, %.14575
  %.14619 = xor i32 %.14593, %.14267
  %.14661 = add i32 %.13787, 718787387
  %.14679 = add i32 %.14661, %.14619
  %.14690 = lshr i32 %.14679, 17
  %.14748 = shl i32 %.14679, 15
  %.14759 = or i32 %.14690, %.14748
  %.14777 = add i32 %.14759, %.14468
  %.14802 = add i32 %.14777, -1732584194
  %.14811 = lshr i32 %.14802, 24
  %.14821 = zext i32 %.14811 to i128
  %.14822 = shl nuw nsw i128 %.14821, 32
  %.14825 = lshr i32 %.14802, 16
  %.14832.mask = and i32 %.14825, 255
  %.14833 = zext i32 %.14832.mask to i128
  %.14834 = shl nuw nsw i128 %.14833, 40
  %.14837 = lshr i32 %.14802, 8
  %.14844.mask = and i32 %.14837, 255
  %.14845 = zext i32 %.14844.mask to i128
  %.14846 = shl nuw nsw i128 %.14845, 48
  %.14857.mask = and i32 %.14802, 255
  %.14858 = zext i32 %.14857.mask to i128
  %.14859 = shl nuw nsw i128 %.14858, 56
  %.14878 = xor i32 %.14267, -1
  %.14896 = or i32 %.14777, %.14878
  %.14914 = xor i32 %.14896, %.14468
  %.14956 = add i32 %.14074, -343485551
  %.14965 = add i32 %.14956, %.14914
  %.14985 = lshr i32 %.14965, 11
  %.15043 = shl i32 %.14965, 21
  %.15054 = or i32 %.14985, %.15043
  %.15072 = add i32 %.14777, -271733879
  %.15089 = add i32 %.15072, %.15054
  %.15098 = lshr i32 %.15089, 24
  %.15108 = zext i32 %.15098 to i128
  %.15109 = shl nuw nsw i128 %.15108, 64
  %.15112 = lshr i32 %.15089, 16
  %.15119.mask = and i32 %.15112, 255
  %.15120 = zext i32 %.15119.mask to i128
  %.15121 = shl nuw nsw i128 %.15120, 72
  %.15124 = lshr i32 %.15089, 8
  %.15131.mask = and i32 %.15124, 255
  %.15132 = zext i32 %.15131.mask to i128
  %.15133 = shl nuw nsw i128 %.15132, 80
  %.15144.mask = and i32 %.15089, 255
  %.15145 = zext i32 %.15144.mask to i128
  %.15146 = shl nuw nsw i128 %.15145, 88
  %.15173 = add i32 %.14267, 1732584193
  %.15182 = lshr i32 %.15173, 24
  %.15192 = zext i32 %.15182 to i128
  %.15193 = shl nuw nsw i128 %.15192, 96
  %.15196 = lshr i32 %.15173, 16
  %.15203.mask = and i32 %.15196, 255
  %.15204 = zext i32 %.15203.mask to i128
  %.15205 = shl nuw nsw i128 %.15204, 104
  %.15208 = lshr i32 %.15173, 8
  %.15215.mask = and i32 %.15208, 255
  %.15216 = zext i32 %.15215.mask to i128
  %.15217 = shl nuw nsw i128 %.15216, 112
  %.15229 = zext i32 %.15173 to i128
  %.15230 = shl i128 %.15229, 120
  %.14823 = or i128 %.15193, %.15230
  %.14835 = or i128 %.14823, %.15205
  %.14847 = or i128 %.14835, %.15217
  %.14860 = or i128 %.14847, %.14557
  %.15110 = or i128 %.14860, %.14822
  %.15122 = or i128 %.15110, %.14859
  %.15134 = or i128 %.15122, %.14834
  %.15147 = or i128 %.15134, %.14846
  %.15194 = or i128 %.15147, %.15109
  %.15206 = or i128 %.15194, %.15146
  %.15218 = or i128 %.15206, %.15121
  %.15231 = or i128 %.15218, %.15133
  ret i128 %.15231
}

; Function Attrs: nounwind readnone speculatable
declare i32 @llvm.bswap.i32(i32) #1

attributes #0 = { nounwind readnone }
attributes #1 = { nounwind readnone speculatable }
